منابع مشابه
Finitely Presented Heyting Algebras
In this paper we study the structure of finitely presented Heyting algebras. Using algebraic techniques (as opposed to techniques from proof-theory) we show that every such Heyting algebra is in fact coHeyting, improving on a result of Ghilardi who showed that Heyting algebras free on a finite set of generators are co-Heyting. Along the way we give a new and simple proof of the finite model pro...
متن کاملOn finitely generated Heyting algebras
We study finitely generated Heyting algebras from algebraic and model theoretic points of view. We prove amon others that finitely generated free Heyting algebras embed in their profinite completions, which are projective limits of finitely generated free Heyting algebras of finite dimension.
متن کاملFinitely generated free Heyting algebras via Birkhoff duality and coalgebra
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process. In order to explore the limits of this method we look at Heyting algebras which have mixed rank 0-1 axiomatizations. We will see that Heyting algebras are special in that they are...
متن کاملFinitely generated free Heyting algebras: the well-founded initial segment
In this paper we describe the well-founded initial segment of the free Heyting algebra Aα on finitely many, α, generators. We give a complete classification of initial sublattices of A2 isomorphic to A1 (called ‘low ladders’), and prove that for 2 ≤ α < ω, the height of the wellfounded initial segment of Aα is ω.
متن کاملSome non-finitely presented Lie Algebras
Let L be a free Lie algebra over a field k, I a non-trivial proper ideal of L, n > 1 an integer. The multiplicator H2(L/I , k) of L/I is not finitely generated, and so in particular, L/I is not finitely presented, even when L/I is finite dimensional.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1998
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v5i30.19436